base_address = 0x80000000;
start_address = 0x8000; /*for real hardware*/
framebuffer_size = 0;
